TSTP Solution File: ITP194^2 by Nitpick---2016